More from this Author

Logic: from Foundations to Applications

by John Truss (Editor), Wilfrid Hodges (Editor), Martin Hyland (Editor), Charles Steinhorn (Editor)